課程大綱

課程資訊

課程名稱

基本邏輯
Elementary Logic

開課學期

102-2

授課對象

文學院哲學系

授課教師

鄧敦民

課號

Phl1008

課程識別碼

104 10400

班次

學分

全/半年

半年

必/選修

必帶

上課時間

星期三2,3,4,@(9:10~)

上課地點

普504

備註

總人數上限：80人

Ceiba 課程網頁

http://ceiba.ntu.edu.tw/1022elogic

課程簡介影片

核心能力關聯

核心能力與課程規劃關聯圖

課程大綱

為確保您我的權利,請尊重智慧財產權及不得非法影印

課程概述

本課程將會簡介形式邏輯的基本概念，並使學生具備理解哲學文獻中會出現的形式邏輯符號與推論之基本能力。課程分成三個主要的部份：(1)介紹命題邏輯(PL)之語言、語意，以及推論系統；(2)介紹述詞邏輯(QL)之語言、語意，以及推論系統；(3)介紹其它基本邏輯概念，包含簡單的集合論（非公理化式的，包含集合的基本運算以及函數與關係），以及簡單的機率概念與運算。
在本課程中，配合形式邏輯的介紹，一些相關的邏輯哲學議題亦會加以討論，例如關於命題、邏輯連詞、指涉、確定描述詞之哲學討論。

課程目標

本課程目標在於使學生能
(1)對於形式邏輯有基本的認識
(2)學會如何把自然語言中的論証翻譯至適當的形式語言中，並驗證其有效性
(3)具備使用形式系統來建構證明與邏輯推論之能力
(4)具備理解哲學文獻中含有邏輯符號之論証的基本技能
(5)對於集合與關係有基本的概念

課程要求

待補

預期每週課後學習時數

Office Hours

指定閱讀

待補

參考書目

Textbooks:
1. Bergmann, M., Moor, J. and Nelson, J., The Logic Book, 5th ed. McGraw-Hill, 2008.

Readings:
1. Smith, P., An Introduction to Formal Logic, Cambridge: Cambridge University Press, 2003.
2. Hurley, P. J., A Concise Introduction to Logic, 11th ed. Boston: Wadsworth, 2012.
3. Barwise, J. and Etchemendy, J., Language, Proof and Logic, 2nd ed., CSLI, 2011.
4. Hodges, W., Logic: An Introduction to Elementary Logic, 2nd ed., Penguin, 2001.
5. Lemmon, E. J., Beginning Logic, 2nd ed., London: Chapman & Hall, 1997.
6. Sider, T., Logic for Philosophy, Oxford: Oxford University Press, 2010.
7. Van Dalen, D., Logic and structure, 5th ed. Springer, 2012.
8. Enderton, H., A Mathematical Introduction to Logic, Second edition, New York: Academic Press, 2001.
9. Halmos, P. R., Naive Set Theory, Springer, 1960.
10. Read, S., Thinking about Logic: An Introduction to the Philosophy of Logic, Oxford: Oxford University Press, 1994.

評量方式
(僅供參考)

No.	項目	百分比	說明
1.	Homework	40%
2.	Midterm Exam	30%
3.	Final Exam	30%

課程進度

週次	日期	單元主題
第1週	2/19	Basic Notions of Logic
第2週	2/26	Sentential Logic: Symbolisation and Syntax
第3週	3/05	Sentential Logic: Semantics
第4週	3/12	Sentential Logic: Truth-Trees
第5週	3/19	Sentential Logic: Derivations
第6週	3/26	Sentential Logic: Metatheory
第7週	4/02	Study break (no class)
第8週	4/09	Midterm Exam
第9週	4/16	Predicate Logic: Symbolisation and Syntax (1): Predicates, Quantifiers, and the Formal Syntax
第10週	4/23	Predicate Logic: Symbolisation and Syntax (2): Symbolisation Techniques, Multiple Quantifiers, and Identity
第11週	4/30	Predicate Logic: Semantics (1): Quantificational Truth, Falsehood, and Equivalence
第12週	5/07	Predicate Logic: Semantics for Predicate Logic with Identity and Functors; Formal Semantics
第13週	5/14	Predicate Logic: Truth-Trees (1)
第14週	5/21	Predicate Logic: Truth-Trees (2)
第15週	5/28	Predicate Logic: Derivations (1)
第16週	6/04	Predicate Logic: Derivations (2)
第17週	6/11	Predicate Logic: Metatheory (1)